ifeq ($(CONFIG_OS_PONY), y)
src-$(CONFIG_KPRINTF) += src/kprintf.c
inc-g-$(CONFIG_KPRINTF) += inc
endif
